Theories of orders on the set of words
نویسنده
چکیده
It is shown that small fragments of the first-order theory of the subword order, the (partial) lexicographic path ordering on words, the homomorphism preorder, and the infix order are undecidable. This is in contrast to the decidability of the monadic second-order theory of the prefix order [M.O. Rabin, Trans. Amer. Math. Soc., 1969] and of the theory of the total lexicographic path ordering [P. Narendran and M. Rusinowitch, Lect. Notes Artificial Intelligence, 2000] and, in case of the subword and the lexicographic path order, improves upon a result by Comon & Treinen [H. Comon and R. Treinen, Lect. Notes Comp. Sci., 1994]. Our proofs rely on the undecidability of the positive Σ1-theory of (N,+, ·) [Y. Matiyasevich, Hilbert’s Tenth Problem, 1993] and on Treinen’s technique [R. Treinen, J. Symbolic Comput., 1992] that allows to reduce Post’s correspondence problem to logical theories. Mathematics Subject Classification. 03D35.
منابع مشابه
The Coherence and Incoherence among the Order of Effusion, Physics, and Ancient Astronomy from the Perspective of Muslim Philosophers
The present article deals with coherence and incoherence among the theories of the order of effusion, physics and ancient astronomy. There is no coherence between these fields in the view of Plotinus who is the innovator of the theory of effusion, while there is a coherence and correlation among these orders in Farabichr('39')s philosophy. In this regard Ibn Sina, Ikhwan al-Safa , Shaykh al-...
متن کاملThe Role of Social Capital on Citizens' Support of National Products: A Scientific Step toward Supreme Leader Ayatollah Khamenei's Orders
The present research tried to study a scientific step toward explaining orders of supreme leader Ayatollah Khamenei about the importance of citizens’ support of national products. The main goal of this research was to study the effective social factors in citizens’ support of national products. Statistical population was 400 persons of Kerman’s people aged more than 15 years old. The theoretica...
متن کاملIntertextual Relationships in the Contemporary Architecture of Iran During 1961-1977
It seems like in the contemporary era and with the use of approaches which are formed during a passage from structuralism to poststructuralism, a number of fundamental changes have taken place in the different types of relationships between the works of architecture, their methods of productions and different readings of it along with the differences in the types of research and criticism among...
متن کاملCubic symmetric graphs of orders $36p$ and $36p^{2}$
A graph is textit{symmetric}, if its automorphism group is transitive on the set of its arcs. In this paper, we classifyall the connected cubic symmetric graphs of order $36p$ and $36p^{2}$, for each prime $p$, of which the proof depends on the classification of finite simple groups.
متن کاملیک مدل موضوعی احتمالاتی مبتنی بر روابط محلّی واژگان در پنجره‌های هم‌پوشان
A probabilistic topic model assumes that documents are generated through a process involving topics and then tries to reverse this process, given the documents and extract topics. A topic is usually assumed to be a distribution over words. LDA is one of the first and most popular topic models introduced so far. In the document generation process assumed by LDA, each document is a distribution o...
متن کاملCharacterization of projective special linear groups in dimension three by their orders and degree patterns
The prime graph $Gamma(G)$ of a group $G$ is a graph with vertex set $pi(G)$, the set of primes dividing the order of $G$, and two distinct vertices $p$ and $q$ are adjacent by an edge written $psim q$ if there is an element in $G$ of order $pq$. Let $pi(G)={p_{1},p_{2},...,p_{k}}$. For $pinpi(G)$, set $deg(p):=|{q inpi(G)| psim q}|$, which is called the degree of $p$. We also set $D(G):...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- ITA
دوره 40 شماره
صفحات -
تاریخ انتشار 2006